run_solver.log